Search Results

Type Classes for Mathematical Formalizations in Coq - Matthieu Sozeau

Type Classes for Mathematical Formalizations in Coq - Matthieu Sozeau

Nicolas Behr - Towards Executable Applied Category Theory in Coq

Nicolas Behr - Towards Executable Applied Category Theory in Coq

Coq Working Group

Coq Working Group

Coq Working Group Day 2

Coq Working Group Day 2

ladr in coq - ep 1 - the field typeclass and dependent zip

ladr in coq - ep 1 - the field typeclass and dependent zip

Laurent Théry : Proof and computation in Coq

Laurent Théry : Proof and computation in Coq

Micaela Mayero - Overview of real numbers in theorem provers: application with real analysis in Coq

Micaela Mayero - Overview of real numbers in theorem provers: application with real analysis in Coq

Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code

Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code

Topology in Coq

Topology in Coq

Formal Methods for the Informal Engineer: Tutorial #2 - The Coq Theorem Prover (2021)

Formal Methods for the Informal Engineer: Tutorial #2 - The Coq Theorem Prover (2021)

[TutorialFest@POPL'24] MetaCoq Tutorial

[TutorialFest@POPL'24] MetaCoq Tutorial

Chlipala1

Chlipala1